Anzu: A Tool for Property Synthesis
نویسندگان
چکیده
We present the tool ANZU. ANZU takes a formal specification of a design and generates a functionally correct system if one exists. The specification is given as a set of linear temporal logic (LTL) formulas belonging to the class of generalized reactivity of rank 1. Such formulas cover the majority of the formulas used in practice. ANZU is an implementation of the symbolic reactive(1) approach to synthesis by Piterman, Pnueli, and Sa’ar. If the specification is realizable ANZU provides the user with a Verilog module that represents a correct finite-state system.
منابع مشابه
Correction: A New Large-Bodied Oviraptorosaurian Theropod Dinosaur from the Latest Cretaceous of Western North America
The oviraptorosaurian theropod dinosaur clade Caenagnathidae has long been enigmatic due to the incomplete nature of nearly all described fossils. Here we describe Anzu wyliei gen. et sp. nov., a new taxon of large-bodied caenagnathid based primarily on three well-preserved partial skeletons. The specimens were recovered from the uppermost Cretaceous (upper Maastrichtian) Hell Creek Formation o...
متن کاملChemico- thermal synthesis of nano-structured cobalt with distinct magnetic property
The synthesis of nano- structured cobalt through a controlled chemical process followed by heat treating at various temperatures is studied. The product is characterized by ICP, XRD, FESEM , and TEM, indicating that the as- synthesized particles have an amorphous structure with 1.76 for Co/B ratio, an average size of 50 nm. The transformation of intermediate phases into single phase nano- cryst...
متن کاملSynthesis of the Nano structured Zinc Oxide Using the Soft template of Cylea barbata miers Extract and its Promising Property for Dye Adsorbent
Nanostructured zinc oxide (ZnO) was successfully synthesized by precipitation method using the extract of Cylea barbata Miers (CBM) leaves as a soft template after 3 h of calcinations in furnace at 500oC in the open air. Characterization results showed that the nanostructured ZnO had hexagonal wurtzite structure with space group P63mc and nano-scale particle diameter. It was suggested that the ...
متن کاملEffect of Peptide Derived from Scorpion Toxin on Enhanced Permeability of Doxorubicin Conjugated Gold Nanoparticles in HeLa and MDA-MB-231 Cells
Background: Cell penetrating peptides (CPPs) can enter a cell through the cell membrane, and used in the fields of drug delivery, gene therapy, and cancer therapy by their property transporting various molecules into cytoplasm. Gold nanospheres (GNSs) are a useful tool for molecular imaging, because they are not cytotoxic and have high solubility, excellent light scattering property and ease of...
متن کاملModel Construction and Priority Synthesis for Simple Interaction Systems
VissBIP is a software tool for visualizing and automatically orchestrating component-based systems consisting of a set of components and their possible interactions. The graphical interface of VissBIP allows the user to interactively construct BIP models [3], from which executable code (C/C++) is generated. The main contribution of VissBIP is an analysis and synthesis engine for orchestrating c...
متن کامل